12,54 est plus petit que 12,6?​