conséquences logiques (0)