El tamaño de un sector público en comparación con el PIB