Jean-Pierre Babelon — French archivist and historian (1931–2024)