GIRARDET

Le nom Girardet est un patronyme d'origine jurassienne, formé sur la base du nom personnel Girard, lui-même issu du germanique Gerhard (ger = lance, hard = dur, fort). Le suffixe diminutif -et, typique des noms de famille de l'est de la France et particulièrement du Jura, confère au nom le sens de « petit Girard » ou « fils de Girard ». Ce type de formation patronymique était courant au Moyen Âge dans les régions frontalières franco-suisses où les traditions onomastiques germaniques et romanes se mélangeaient. Le nom apparaît historiquement dans les registres jurassiens dès le Moyen Âge tardif, témoignant d'une implantation ancienne dans cette région.