M est-il le milieu de [AB] ?