La renationalisation d'EDF coûtera 9,7 milliards d'euros à l'État, selon le gouvernement