Tormenta de verano - García Hortelano, Juan ((Biblioteca Formentor))