Géométrie formelle et rigide: une introduction intuitive, et quelques applications