Quanti sono i ministri della Repubblica?