Énergie électrique: hausse de la production de 3,1% à fin juillet (DEPF)