Distribución por sexo de los directivos de los grupos empresariales públicos más importantes de España