def proba_sachant_que(B,A):
    assert len(B)>0
    return len(A.intersection(B))/len(B)