Robert Debant - French archivist and historian (1928-2015)