Dans le contexte de l'analyse OLAP, le concept de navigation n'a jamais été défini formellement. Nous montrons pourquoi cette lacune est préjudiciable. Nous proposons ensuite une formalisation du concept de navigation, ainsi qu'une première ébauche de langage de définition de navigations.