The documentation (https://geopandas.org/en/stable/docs/reference/api/geopandas.GeoDataFrame.to_file.html) suggests this:
batiments.to_file("dataframe.geojson", driver="GeoJSON")