correction de petites erreurs man, correction lua, graphes simplifiés cohérence