title: Convert an int to date with this mask : DD/MM/YYYY
body: <p>I have an int representing a datetime :</p>
  <pre><code>20201212
  20210809
  ....
  ...
  </code></pre>
  <p>I want to cast it like this :</p>
  <pre><code>12/12/2020
  09/08/2021
  ...
  ...
  </code></pre>
  <p>In a stored procedure.</p>
  <p>How can I do that ?</p>