Total acquiert Maersk Oil pour 7,45 milliards de dollars