A espécie de bacillus formadores de esporos usados nos indicadores biológicos para verificar a adequação do processo de esterilização a óxido de etileno deve ser o