semidiscretisation