Starting with the Leibniz algebra defined by a $\varphi$-dialgebra, we construct examples of “coquecigrues,” in the sense of Loday, that is to say, manifolds whose tangent structure at a distinguished point coincides with that of the Leibniz algebra. We discuss some possible implications and generalizations of this construction.