Suavização de métricas Riemannianas L^ com curvatura escalar não negativa fora de um conjunto singular | Synapse