Tardif, Monuments historiques, cartons des rois, p
2. Lebeuf, Histoire de la ville et du diocèse de Paris, t. VU, p. 152.
3. On peut trouver un autre argument pour soutenir cette hypothèse dans la Vita sancti Leobini, de Forlunat, où les noms Avallotius et Avallovicus semblent désigner un même lieu du diocèse de Chartres, aujourd'hui Ha velu.
i. Historia Francorum, 1. X, c. xxviii.