Un pionnier de l'histoire des manuels: Alain Choppin