Implémentation de And et tests