Merge pull request #244 from jcarpent/devel

Enhance Convex exposition
12 jobs for devel in 23 minutes and 2 seconds (queued for 5 seconds)