Numeration updated