The Feynman path integral is known to be a powerful tool in different domains of physics. At the same time, the mathematical theory underlying lots of (often formal) physical calculations is far from being complete.