Algorithme de Hopcroft

On s'intéresse à la complexité et la validité de l'algorithme de Hopcroft. On pourra admettre que l'on sait faire une bonne gestion de des ensembles des coupures.