La démonstration de Nègrepelisse, dans le Lot