[Jean-Pierre Jouannaud' Contributions]