Plombier à Roosdaal (1760) : fuite, dépannage, installation