Plombier à Halle (1502) : fuite, dépannage, installation