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