Merge commit 'origin/platal-0.10.0'

Conflicts:

	core

Signed-off-by: Florent Bruneau <florent.bruneau@polytechnique.org>

diff --cc core
index eec9962,4f67da2..e33bada
--- 1/core
--- 2/core
+++ b/core
@@@ -1,1 -1,1 +1,1 @@@
- Subproject commit eec996233a443d9d024786583c0370a54d639dde
 -Subproject commit 4f67da27edb0f631a7af1ccf5aa6e7ead84332dc
++Subproject commit e33badaa2e54d255a8ef5fc9e33c797349b7ca17