Quelques résultats d’analyse numérique (a priori et a posteriori) pour le calcul de structures électroniques et applications