[Lima-commits] 06/13: Merge branch 'feature/1375-Ne_pas_interrompre_export' into develop