Archives départementales de la Haute-Garonne. Bibliothèque historique.