Nota sobre a Gruta de Moinhos Velhos (Mira d'Aire) - Martins Ferreira, J. (1957)