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