Parque Nacional de Aigüestortes, Lago San Mauricio, BOI