@aurélien

La théorie quantique des champs mathématiquement rigoureuse ça s’appelle la théorie constructive des champs.

Je pense que vous faites allusion aux intégrales de chemin dans un espace de Minkowski et à la renormalisation. Tout cela est bien compris. Il est très difficile de donner des bases mathématiques rigoureuse à ceci. Alain Connes le fait pour les « recettes de renormalisation 4-epsilon ». Les « recettes avec cutoff » sont très bien définies. Les intégrales de chemin en espace de Mikowski s’obtiennent en faisant la limite d’intégrales de chemins euclidiennes. Sinon, il y a la quantification canonique qui fonctionne bien pour la QED...

si vous voulez je vous expose le calcul détaillé pour avoir les 15 décimales, mais ça risque d’être un peu long...