point of interest - Downloading metro stations of Paris from OpenStreetMap?

I'm just getting acquainted with OSM (OpenStreetMap), so this might be a total newbie question, but I'm looking for OSM Point of Interest data for all metro stations in Paris. I'm sure this info should be available, as maps I've seen maps of Paris using OSM data (e.g., mapbox.com default maps) display these metro stations, but I'm not sure where to look.

---

After reviewing the answers provided and doing some digging myself, my conclusions are:

Using Overpass API seems to be the most user-friendly as far as I can tell (when you get the hang of the query language, that is). For example, the query below returns the actual routing (metro lines) plus the referenced metro stations in nice JSON format.

http://overpass-api.de/api/interpreter?data=[out:json];(relation(48.7555,2.1406,48.9638,2.5571)[%22route%22=%22subway%22];%3E;);out;

Answer

The OSM Wiki has instructions for downloading to different formats.

And here is some information about shapefiles.

Cloudmade has produced exports to different formats for France and can be found here.