Histoire du Moulin royal du Château-Fort de Mauvezin (Hautes-Pyrénées), moulin de la Cantère