travail d'une force, théorème de l'énergie cinétique