en Architecture est bien pétrir la chaux et le sable par le moyen du rabot, pour en faire du mortier. C'est aussi pétrir et battre au pilon de la terre glaise, pour en faire un corroi. (P)