Ehrmann, Gilles, 1928-