giac-xcas/xcas/examples/codage
