Merge branch 'split/mdedonno' of esc-md-git.unil.ch:/PiAnoS/src into split/mdedonno