De resto, verificados os pressupostos formais dos arts.90-e ss. do CP, o Tribunal a quo não podia deixar de equacionar a aplicação de uma daquelas penas de substituição, pois, nesta matéria, não detém uma faculdade discricionária, mas um poder-dever.