La prostituée en cuissardes rouges (uncredited)