Santé et retraite des mineurs — Institut d'histoire sociale mines-énergie. France