makefile nettoie tout, magique renvoie erreur quand il n'y arrive pas, proof nettoie tout