RAIRO= RAIRO . (Dunod, 1977)