[graph-tool] Extracting vertices with a given property

Hi all, I was wondering if there is a clever way to extract the list of vertices with a given value of a property or if you have to run a loop on the vertices on build the list by hand (I searched on the documentation but did not find it...). Thanks, F.