général. De grands théorèmes difficiles, comme le théorème des quatre couleurs, le théorème des graphes parfaits, ou encore le théorème de Robertson-Seymour
1002/malq.19690152001, MR 0263903) (en) Donald J. Collins, « On a group embeddingtheorem of V. V. Borisov », Bulletin of the London Mathematical Society, vol