Text this: La formalización de los conceptos físicos. El caso de la velocidad instantánea