Module logique statique