def est_dans(M,L): for K in L: if isomorphe(M,K): return True return False