$MAGMA cours cours