Renationalisation d'EDF : elle coûtera 9,7 milliards d'euros à l'État, selon le gouvernement