Christophe de Margerie : la disparition d'un grand patron