théorème d’approximation de Dirichlet