R´
ESUM´
E
´
Etant donn´ee une fonction born´ee (sup´erieurement ou inf´erieurement) f:Nk−→R
par une expression math´ematique, le probl`eme de trouver les points extr´emaux
de fsur chaque ensemble fini S⊂Nkest bien d´efini du point de vu classique.
Du point de vue de la th´eorie de la calculabilit´e n´eanmoins il faut ´eviter les cas
pathologiques o`u ce probl`eme a une complexit´e de Kolmogorov infinie. La principale
restriction consiste `a d´efinir l’ordre, parce que la comparaison entre les nombres
r´eels n’est pas d´ecidable. On r´esout ce probl`eme grˆace `a une structure qui contient
deux algorithmes, un algorithme d’analyse r´eelle r´ecursive pour ´evaluer la fonction-
coˆut en arithm´etique `a pr´ecision infinie et un autre algorithme qui transforme
chaque valeur de cette fonction en un vecteur d’un espace, qui en g´en´eral est de
dimension infinie. On d´eveloppe trois cas particuliers de cette structure, un de
eux correspondant `a la m´ethode d’approximation de Rauzy. Finalement, on ´etablit
une comparaison entre les meilleures approximations diophantiennes simultan´ees
obtenues par la m´ethode de Rauzy (selon l’interpr´etation donn´ee ici) et une autre
m´ethode, appel´ee t´etra´edrique, que l’on introduit `a partir de l’espace vectoriel
engendr´e par les logarithmes de nombres premiers.
Mots cl´es: norme de Rauzy, approximation diophantienne simultan´ee,
constante de k-bonacci, nombres r´eels r´ecursifs.