L’Encyclopédie/1re édition/PANTINS
(Tome 11, p. 827).
PANTINS, (Hist. mod.) petites figures peintes sur du carton, qui par le moyen de petits fils que l’on tire, font toutes sortes de petites contorsions propres à amuser des enfans. La posterité aura peine à croire qu’en France, des personnes d’un âge mûr ayent pû dans un accès de vertige assez long, s’occuper de ces jouets ridicules, & les rechercher avec un empressement, que dans d’autres pays l’on pardonneroit à peine à l’âge le plus tendre.