Toponymie

Le premier document citant le nom de Petit-Réderching est le rapport du gruyer de Nancy (officier public chargé de la gestion des forêts) daté du 14 mars 1580. 

1594 : Riderchingen

1751 : Klein Rederchingen

1771 : Le Petit-Rederching

1871 : Kleinrederchingen

1918 : Petit-Réderching

1940 : Kleinrederchingen

1945 : Petit-Réderching