Bit_vector_and() tailles