Извлечь область страницы PDF по координатам

Я ищу инструмент для извлечения заданной прямоугольной области (по координатам) из одностраничного PDF-файла и создания одностраничного PDF-файла с заданной областью:

# in.pdf is a 1-page pdf file
extract file.pdf 0 0 100 100 > out.pdf
# out.pdf is now a 1-page pdf file with a page of size 100x100
# it contains the region (0, 0) to (100, 100) of file.pdf

Я мог бы преобразовать PDF в изображение и использовать convert , но это будет означать, что результирующий PDF больше не будет векторным, что неприемлемо (я хочу иметь возможность масштабировать).

В идеале я бы хотел выполнить эту задачу с помощью инструмента командной строки или библиотеки Python.

Спасибо!