From dynamic exploration to “theory” and “theorems” (from 6th to 8th grades).