De wiskunstenaars, of 't gevluchte juffertje : kluchtspel