On the extraction of computational content from noneffective convergence proofs in analysisPavol SafarikÉpuiséPrévenez-moi