raffinerie de pétrole de la Société Maritime des Pétroles, puis Société des Pétroles Jupiter, puis Shell, puis Pétroplus - POP