insertion lexicographique ok