ajout td3 et 4 bdav
ajout td6 prolog