L'idée derrière l'algo c'est plutôt que si le bord d'un convexe est inclus dans l'ensemble alors l'intérieur du convexe aussi.
Mais bon on en discutait au bureau ce matin et on n'a pas su donner un nom à cette notion 
En fait ça doit correspondre à peu près à :
L'ensemble est simplement connexe, et les composantes connexes de son intérieur sont convexes.
Et pour l'algo on a besoin de la même chose pour le complémentaire de l'ensemble (dans le plan compactifié).
Mouais.
Enfin bon bref.