Compare commits

...
A pull request between these branches already exists: DGNum/gestioCOF#843

WIP: petitscours: UI improvements #843