The interval number of a planar graph is at most three | Publicación