Un pionnier de l'histoire des manuels : Alain Choppin