Plombier à Walhain (1457) : fuite, dépannage, installation