Définitionshomotopique