[Lima-commits] 03/03: correction suite au merge