Merge branch 'devel' of github.com:stack-of-tasks/sot-dynamic-pinocchio into devel

11 jobs for v3.3.0 in 27 minutes and 25 seconds (queued for 2 minutes and 20 seconds)
latest