Prolog : - Deransart, Pierre (Springer-Verlag, 1996)