Logique computationnelle et logique quantique