Logique du première ordre et logique modale