Art. 90. Aan de werklieden die op de leeftijd van 65 jaar worden gepensioneerd en als ze dan veertig jaar dienst in de petroleumnijverheid hebben of zullen hebben volbracht, wordt een jaarlijks aanvullend pensioen toegekend, ook "petroleumpensioen" genoemd, vastgesteld :
Art. 90. Aux ouvriers qui sont pensionnés à 65 ans, et qui ont ou auront accompli à ce moment quarante années de service dans l'industrie pétrolière, il est accordé une pension complémentaire, aussi nommée "pension pétrole" :