Des compagnies minières aux houillères de Provence — Gilbert Bagnis