leymarie-m_preuve-par-deux_cnrs