Navigation : modélisation informatique