Théorie mathématique des processus optimaux