Escherichia coli producteurs de shigatoxines (STEC)