Text this: Les exemples dans l’élaboration des démonstrations mathématiques : une approche sémantique et dialogique