Dans ce papier, nous étudions la possibilité de déterminer les sorties plates d'un système non linéaire par calcul formel. Rappelons qu'une sortie plate est une sortie généralisée particulière telle que toutes les courbes intégrales du syst`eme peuvent s'exprimer comme les images, par une application infiniment dérivable, des composantes de cette sortie plate et d'un nombre fini de ses dérivées successives par rapport au temps. Nous utilisons ici les caractérisations récentes de [1], [2] dans le cadre des variétés de jets d'ordre infini (voir par ex. [3], [4]). Les étapes successives de l'algorithme formel sont discutées sur l'exemple classique du véhicule non holonome