directeur général de la Caisse autonome nationale de la sécurité sociale dans les mines