[fr] Journal of Computer and System Sciences