praxéologie déduction