minuscule mignone

.