théorème d’Erdös-Anning