¿Cuánto mide de alto, en metros, una portería reglamentaria de fútbol?