Introduction to local certification