Text this: Usage des technologies et investigation en mathématiques : quels contrats didactiques possibles ?