El uso de servicios formales de cuidado infantil entre 0 y 3 años en España