La pédagogie et la didactique des opérations arithmétiques à l’école (1) : Le dilemme de l’automatisation, celui de la symbolisation et l’inspection générale