VIGEOLAS-CHOURY Paul / TP1 algo2 TwoSat