Dictionnaire infernal/6e éd., 1863/Dérodon
Henri Plon, (p. 205).
Dérodon (David), dialecticien du dix-septième siècle. On conte qu’un professeur, pressé par un argumentateur inconnu, lui dit, sur le point de se rendre : « Tu es le diable, ou tu es Dérodon. » Ce savant a laissé un Discours contre l’astrologie judiciaire, in-8o, 1663.