In memoriam Jean Mingels.