Philippe Contamine — French historian (1932-2022)