formal-lineaarinen kimppu