Feynman's path integral