"On voyait le ciel bleu alors qu'on était au coeur de la cathédrale" : ce tailleur de pierre commingeois qui était sur le chantier de Notre-Dame