Commentaire: ce n'est pas maintenant qu'il faut juger Tholot