The fact rests indeed on very slight authority, a Life of St. Babolinus, which is probably of the seventh century. See Duchesne Scriptores Rer. Francicar. tom. i. p. 662.