Séparation Logique / LogiqueEchecs et clarifications avec constantes