polka

Nom commun

(Danse) Danse d’origine tchèque ou polonaise. Musique à deux temps sur laquelle on exécute cette danse. Marteau de tailleur de pierre avec un biseau dentelé. Brouette utilisée dans les champignonnières.