Definition:

girolles