La sécurité sociale dans les mines, 1894-1994 — Caisse autonome nationale de la sécurité sociale dans les mines. France