Tweedehands boeken van Falcones, Ildefonso