Correction sur l'heuristique. Correction sur la commande -p.