Une telle preuve mérite bien de durer une petite heure