Text this: Preuves et jeux sémantiques