Prolog tp4 & Systeme tp2 et 3