Grève dans les raffineries de TotalEnergies : faut-il craindre des pénuries dans les stations-service ?