Robert Gervais 1937-2022