Nationalisation d'EDF : à quoi les 10 milliards d'euros de l'État vont-ils servir ?