¿Para qué enseñar fórmulas pudiendo enseñar procedimientos? Una propuesta didáctica para el tratamiento de la Probabilidad en Bachillerato