Saint-Bertrand de Comminges, et Saint-Just