Profinite structures are retracts of ultraproducts of finite structures - Mariano, Hugo Luiz; Miraglia Neto, Francisco (Reports on Mathematical Logic, 2007)