Le pétrolier Total se rebaptise TotalEnergies.