| Nom de famille usuel : | Dervaux |
| Prénom usuel : | Pierre |
| Genre : | Masculin |
| Fonction : |
Chef |
| Date de naissance : | 3 janvier 1917 |
| Ville de naissance : | Juvisy-sur-Orge |
| Province ou état de naissance : | Essonne |
| Pays de naissance : | France |
| Date de décès : | 20 février 1992 |
| Ville de décès : | Marseille |
| Province ou état de décès : | Bouches-du-Rhône |
| Pays de décès : | France |
| Âge au décès : | 75 ans |