giac-xcas/xcas/examples/arit
