Les Escherichia coli productrices de shigatoxines hautement pathogènes