Jean-Claude Chevalier (1925-2018)