RAIRO Informatique Theorique et Applications = Theorical Informations and Applications