El pueblo visto desde el pico Peñagolosa, PUERTOMINGALVO