  In this short note a differential version of the classical Weil descent is
established in all characteristics. This yields a ready-to-deploy tool of
differential restriction of scalars for differential varieties over finite
differential field extensions.
