La Corrigée d'exercice recherche operationnelle composantes fortement connexes algorithme de marquage