théorème d’Erdös et De Bruijn – théorie des graphes –