Convention collective de l'industrie du pétrole — France. Ministère du travail et de la participation