TP de prolog pour INF2160