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