Algorithme de Kosaraju pour les composantes fortement connexesX-ENS 2016 : application de Kosaraju à 2-SATCorrigé