Jonas of Bobbio: Life of Columbanus, Life of John of Réomé, and life of Vedast