Offshore petroleum platform