méthodes algorithmiques et sémantiques