Quintas na SPID - 3 + 1 Problemas sobre a noção de grupo com Leif Grunewald