BP : le coût de la marée noire grimpe à 9,5 milliards de dollars