Jean-Pierre Jouannaud : pionnier de la réécriture informatique