Plombier à Lennik (1750) : fuite, dépannage, installation