Georges Eleuthère Mauvois (1922-2018)