An unavoidable set of configurations in planar triangulations. - Kenneth Appel; Wolfgang Haken (J. Comb. Theory B, 1979)

Triangulation a v5 séparés dans le problème des quatre couleurs. - Kenneth Appel; Wolfgang Haken; Jean Mayer (J. Comb. Theory B, 1979)