Fútbol: ¿Cuánto mide el largo del área de penalti?