The didactical challenge of symbolic calculators : turning a computational device into a mathematical instrument · Study