ajout Mycielski 4 = Grotzsch